1. Automata for branching and layered temporal structures: an investigation into regularities of infinite transition systems
پدیدآورنده : Puppis, Gabriele
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Machine theory,، Computer science,، Software engineering,، Computer software,، Logic design,، Artificial intelligence
رده :
QA
267
.
P87
2010
2. Implementation and Application of Functional Languages
پدیدآورنده : edited by Sven-Bodo Scholz, Olaf Chitil.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Logic design.,Software engineering.
3. Implementation and Application of Functional Languages
پدیدآورنده : edited by Marco T. Morazán, Sven-Bodo Scholz.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Logic design.,Software engineering.
4. Logic-Based Program Synthesis and Transformation
پدیدآورنده : edited by María Alpuente.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algorithms.,Artificial intelligence.,Computer science.,Logic design.,Software engineering.
